Restricted monad